[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

254 0 851 0 0 0 0 0 -1

N.S.

1 0.00 3.35 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.224 1.832 0.046 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 96 547 0 68 0 69 -1

N.S.

1 1.00 0.90 5.11 0.00 0.64 0.00 0.64 -0.01

time (sec)

N/A 0.100 0.095 0.649 0.000 0.359 0.000 3.085 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 51 272 0 29 0 31 -1

N.S.

1 1.00 1.00 5.33 0.00 0.57 0.00 0.61 -0.02

time (sec)

N/A 0.037 0.035 2.790 0.000 0.411 0.000 4.086 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.012 0.137 0.042 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.012 0.248 0.041 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.012 0.215 0.027 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.003 0.009 0.041 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.291 0.035 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 157 1474 0 141 0 313 -1

N.S.

1 1.00 1.14 10.68 0.00 1.02 0.00 2.27 -0.01

time (sec)

N/A 0.136 0.107 0.645 0.000 0.345 0.000 3.207 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 97 421 0 78 0 141 -1

N.S.

1 1.00 1.17 5.07 0.00 0.94 0.00 1.70 -0.01

time (sec)

N/A 0.051 0.037 2.141 0.000 0.367 0.000 5.893 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.206 0.004 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 1.008 0.035 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.237 0.004 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.003 0.267 0.005 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.798 0.005 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 185 1969 0 270 0 874 -1

N.S.

1 1.00 0.91 9.65 0.00 1.32 0.00 4.28 -0.00

time (sec)

N/A 0.188 0.140 0.756 0.000 0.362 0.000 2.628 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 113 716 0 157 0 406 -1

N.S.

1 1.00 0.99 6.28 0.00 1.38 0.00 3.56 -0.01

time (sec)

N/A 0.061 0.045 2.252 0.000 0.362 0.000 4.930 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.010 0.360 0.048 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.010 1.980 0.052 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.010 0.379 0.004 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.003 0.333 0.003 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.010 1.410 0.004 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 41 43 0 54 0 44 -1

N.S.

1 1.00 0.91 0.96 0.00 1.20 0.00 0.98 -0.02

time (sec)

N/A 0.060 0.068 1.713 0.000 0.358 0.000 3.821 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 22 23 0 19 27 20 18

N.S.

1 1.00 1.10 1.15 0.00 0.95 1.35 1.00 0.90

time (sec)

N/A 0.018 0.020 0.406 0.000 0.364 0.902 2.286 0.348

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 66 95 0 99 0 100 -1

N.S.

1 1.00 0.93 1.34 0.00 1.39 0.00 1.41 -0.01

time (sec)

N/A 0.083 0.075 2.082 0.000 0.388 0.000 4.850 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 44 48 0 55 49 47 46

N.S.

1 1.00 0.94 1.02 0.00 1.17 1.04 1.00 0.98

time (sec)

N/A 0.029 0.021 0.411 0.000 0.361 0.949 7.124 0.359

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 87 143 0 142 0 151 -1

N.S.

1 1.00 0.69 1.13 0.00 1.12 0.00 1.19 -0.01

time (sec)

N/A 0.116 0.086 2.117 0.000 0.378 0.000 5.306 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 56 70 0 79 70 71 74

N.S.

1 1.00 0.77 0.96 0.00 1.08 0.96 0.97 1.01

time (sec)

N/A 0.040 0.019 0.467 0.000 0.343 0.947 5.048 0.451

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 105 24313 120 146 136 232 100

N.S.

1 1.00 0.70 162.09 0.80 0.97 0.91 1.55 0.67

time (sec)

N/A 0.109 0.047 5.139 0.282 0.361 4.714 3.845 0.275

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 63 1036 97 103 100 104 71

N.S.

1 1.00 0.95 15.70 1.47 1.56 1.52 1.58 1.08

time (sec)

N/A 0.037 0.009 0.760 0.281 0.352 1.285 4.733 0.232

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 163 0 0 0 0 0 -1

N.S.

1 1.00 2.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.105 0.046 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 84 771 118 0 0 0 -1

N.S.

1 1.00 0.98 8.97 1.37 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.030 0.482 0.285 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1294 1300 823 0 0 0 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.296 0.804 0.047 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1304 1310 1090 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.173 0.463 0.046 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1137 1143 742 0 0 0 0 0 -1

N.S.

1 1.01 0.65 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.901 0.585 0.058 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1170 1176 745 0 0 0 0 0 -1

N.S.

1 1.01 0.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.882 0.612 0.052 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1328 1334 847 0 0 0 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.146 1.099 0.059 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 146 823 0 115 0 108 -1

N.S.

1 1.00 0.89 5.02 0.00 0.70 0.00 0.66 -0.01

time (sec)

N/A 0.161 0.151 0.722 0.000 0.367 0.000 5.807 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 96 547 0 68 0 69 -1

N.S.

1 1.00 0.90 5.11 0.00 0.64 0.00 0.64 -0.01

time (sec)

N/A 0.102 0.080 0.657 0.000 0.360 0.000 5.653 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 51 272 0 29 0 31 -1

N.S.

1 1.00 1.00 5.33 0.00 0.57 0.00 0.61 -0.02

time (sec)

N/A 0.041 0.037 2.578 0.000 0.367 0.000 2.749 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.135 0.044 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.231 0.046 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.012 0.185 0.033 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.006 0.167 0.035 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.003 0.008 0.036 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.267 0.041 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.282 0.043 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 290 2564 0 211 0 490 -1

N.S.

1 1.00 1.49 13.15 0.00 1.08 0.00 2.51 -0.01

time (sec)

N/A 0.252 0.175 0.797 0.000 0.377 0.000 5.347 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 157 1487 0 143 0 326 -1

N.S.

1 1.00 1.11 10.55 0.00 1.01 0.00 2.31 -0.01

time (sec)

N/A 0.142 0.092 0.645 0.000 0.350 0.000 3.001 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 97 421 0 84 0 154 -1

N.S.

1 1.00 1.17 5.07 0.00 1.01 0.00 1.86 -0.01

time (sec)

N/A 0.055 0.037 2.523 0.000 0.367 0.000 5.331 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.204 0.004 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.989 0.031 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.227 0.004 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.006 0.334 0.023 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.003 0.263 0.006 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.011 0.770 0.004 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.012 0.753 0.019 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

77 0 994 0 0 0 0 0 -1

N.S.

1 0.00 12.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 1.427 0.073 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A Yes TBD TBD TBD TBD TBD TBD

size

75 0 466 0 0 0 0 0 -1

N.S.

1 0.00 6.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 1.058 0.051 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 70 0 0 0 381 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 4.70 0.00 -0.01

time (sec)

N/A 0.027 0.018 0.045 0.000 0.000 32.283 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 0.242 0.052 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.011 0.375 0.007 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 171 0 239 260 0 0 -1

N.S.

1 1.00 0.46 0.00 0.64 0.70 0.00 0.00 -0.00

time (sec)

N/A 0.218 0.117 0.088 0.291 0.400 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 140 0 200 202 0 0 -1

N.S.

1 1.00 0.55 0.00 0.78 0.79 0.00 0.00 -0.00

time (sec)

N/A 0.130 0.082 0.069 0.304 0.424 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 74 0 146 128 0 0 -1

N.S.

1 1.00 0.73 0.00 1.45 1.27 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.019 0.078 0.297 0.394 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 168 1473 0 0 0 0 -1

N.S.

1 1.00 1.91 16.74 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.076 2.794 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 148 0 0 207 0 0 -1

N.S.

1 1.00 1.19 0.00 0.00 1.67 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.068 0.074 0.000 0.368 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

200 200 288 0 0 278 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 1.39 0.00 0.00 -0.00

time (sec)

N/A 0.182 0.200 0.071 0.000 0.381 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 14 0 13 14 0 -1

N.S.

1 1.00 1.00 1.08 0.00 1.00 1.08 0.00 -0.08

time (sec)

N/A 0.006 0.003 1.157 0.000 0.354 1.477 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 45 0 43 100 0 -1

N.S.

1 1.00 1.00 2.14 0.00 2.05 4.76 0.00 -0.05

time (sec)

N/A 0.019 0.003 1.091 0.000 0.378 1.632 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 46 0 44 100 0 -1

N.S.

1 1.00 1.00 2.19 0.00 2.10 4.76 0.00 -0.05

time (sec)

N/A 0.019 0.004 1.176 0.000 0.371 1.630 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 39 38 0 57 0 0 -1

N.S.

1 1.00 0.95 0.93 0.00 1.39 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.009 1.383 0.000 0.387 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 43 177 0 63 0 0 -1

N.S.

1 1.00 0.98 4.02 0.00 1.43 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.005 0.325 0.000 0.379 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 164 1356 0 0 0 0 -1

N.S.

1 1.00 2.08 17.16 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.049 2.504 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 270 6131 0 0 0 0 -1

N.S.

1 1.00 2.39 54.26 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.109 3.256 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 185 766 207 266 335 558 208

N.S.

1 1.00 1.32 5.47 1.48 1.90 2.39 3.99 1.49

time (sec)

N/A 0.055 0.145 0.724 0.283 0.362 0.955 3.189 0.314

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 121 537 135 172 202 313 131

N.S.

1 1.00 1.08 4.79 1.21 1.54 1.80 2.79 1.17

time (sec)

N/A 0.038 0.078 0.555 0.287 0.399 0.547 6.920 0.267

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 82 83 78 94 105 142 68

N.S.

1 1.00 0.98 0.99 0.93 1.12 1.25 1.69 0.81

time (sec)

N/A 0.023 0.035 0.348 0.312 0.392 0.310 2.671 0.254

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 36 35 32 36 39 29

N.S.

1 1.00 1.00 1.50 1.46 1.33 1.50 1.62 1.21

time (sec)

N/A 0.007 0.006 0.284 0.463 0.363 0.129 5.561 0.070

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 57 242 123 0 0 0 -1

N.S.

1 1.00 0.98 4.17 2.12 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.035 0.004 0.453 0.387 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 52 329 67 80 0 91 70

N.S.

1 1.00 0.76 4.84 0.99 1.18 0.00 1.34 1.03

time (sec)

N/A 0.020 0.036 0.541 0.356 0.432 0.000 3.242 1.072

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 80 582 121 231 0 266 96

N.S.

1 1.00 0.76 5.54 1.15 2.20 0.00 2.53 0.91

time (sec)

N/A 0.046 0.075 0.653 0.344 0.414 0.000 5.379 0.638

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 105 873 228 431 4571 495 145

N.S.

1 1.00 0.79 6.56 1.71 3.24 34.37 3.72 1.09

time (sec)

N/A 0.055 0.111 0.716 0.362 0.397 20.009 4.174 0.757

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 249 1330 172 486 527 273 222

N.S.

1 1.00 1.40 7.47 0.97 2.73 2.96 1.53 1.25

time (sec)

N/A 0.112 0.544 0.796 0.579 0.398 19.443 3.863 0.456

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 211 965 130 316 374 173 263

N.S.

1 1.00 1.50 6.84 0.92 2.24 2.65 1.23 1.87

time (sec)

N/A 0.087 0.320 0.620 0.589 0.369 9.453 4.327 3.276

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 83 93 83 206 199 100 81

N.S.

1 1.00 0.84 0.94 0.84 2.08 2.01 1.01 0.82

time (sec)

N/A 0.053 0.026 0.447 0.562 0.415 4.502 3.888 1.133

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 45 46 45 107 100 41 37

N.S.

1 1.00 1.00 1.02 1.00 2.38 2.22 0.91 0.82

time (sec)

N/A 0.014 0.011 0.067 0.566 0.431 2.246 4.099 0.081

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 201 366 0 0 0 0 -1

N.S.

1 1.00 1.00 1.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.176 0.064 0.435 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 137 755 106 257 0 158 337

N.S.

1 1.00 1.15 6.34 0.89 2.16 0.00 1.33 2.83

time (sec)

N/A 0.065 0.058 0.906 0.567 0.419 0.000 4.724 1.255

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 217 2684 198 724 0 420 272

N.S.

1 1.00 1.25 15.43 1.14 4.16 0.00 2.41 1.56

time (sec)

N/A 0.104 0.410 0.896 0.555 0.421 0.000 4.223 0.981

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A C A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 264 738 326 8463 265 407 536

N.S.

1 1.00 0.82 2.31 1.02 26.45 0.83 1.27 1.68

time (sec)

N/A 0.510 0.346 0.786 0.598 13.827 27.192 3.841 0.948

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A C A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 218 537 251 5590 173 298 358

N.S.

1 1.00 0.87 2.15 1.00 22.36 0.69 1.19 1.43

time (sec)

N/A 0.325 0.224 0.912 0.590 2.812 18.539 4.995 0.322

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A C A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 204 335 192 2251 112 220 210

N.S.

1 1.00 0.89 1.46 0.84 9.83 0.49 0.96 0.92

time (sec)

N/A 0.218 0.052 0.555 0.590 1.213 12.897 3.116 0.310

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 129 122 125 110 165 143 134

N.S.

1 1.00 0.97 0.92 0.94 0.83 1.24 1.08 1.01

time (sec)

N/A 0.056 0.028 0.053 0.613 0.381 27.393 4.719 0.004

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

308 308 313 261 0 0 0 0 -1

N.S.

1 1.00 1.02 0.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 0.112 0.575 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A C F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 202 1068 307 6743 0 398 736

N.S.

1 1.00 0.69 3.66 1.05 23.09 0.00 1.36 2.52

time (sec)

N/A 0.360 0.444 0.827 0.555 1.453 0.000 4.624 0.487

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A C F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 303 4085 500 12591 0 790 2227

N.S.

1 1.00 0.77 10.45 1.28 32.20 0.00 2.02 5.70

time (sec)

N/A 0.477 0.447 0.883 0.559 4.721 0.000 3.250 0.884

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 114 0 160 236 355 1659 184

N.S.

1 1.00 0.82 0.00 1.15 1.70 2.55 11.94 1.32

time (sec)

N/A 0.088 0.104 0.182 0.356 0.386 1.712 5.018 0.343

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 86 0 101 153 216 918 111

N.S.

1 1.00 0.84 0.00 0.99 1.50 2.12 9.00 1.09

time (sec)

N/A 0.063 0.063 0.209 0.343 0.361 0.993 3.866 0.321

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 70 0 58 85 112 394 57

N.S.

1 1.00 0.90 0.00 0.74 1.09 1.44 5.05 0.73

time (sec)

N/A 0.040 0.028 0.075 0.337 0.381 0.536 3.230 0.304

[next] [prev] [prev-tail] [front] [up]